Nuprl Definition : ecl-trans-state
0,22
postcript
pdf
ecl-trans-state(
v
;
L
) == ecl-trans-state-from(
v
;ecl-trans-init(
v
);
L
)
latex
Definitions
ecl-trans-state(
v
;
L
)
,
ecl-trans-state-from(
v
;
z
;
L
)
,
ecl-trans-init(
v
)
FDL editor aliases
ecl-trans-state
origin